QuillcrestFalconer [he/him]

  • 3 Posts
  • 697 Comments
Joined 4 years ago
cake
Cake day: August 14th, 2020

help-circle

  • Yeah deepmind had good results with IMO problems, but only geometry problems. They scored almost at the level of gold medalist. That’s only a fraction of IMO problems, though. They did it by combining a formal verification system with a LLM to propose solution paths, and then doing some tree search I think.

    This is one way to improve large AI systems and will probably be incorporated in some way in the future, for example by integrating with a language like lean (for math proofs).

    They will also be improved by combining with tool use like calculators, code interpreters, web search, calendars, etc. This is already starting to happen to some extent.

    LLMs by themselves, at least with current architectures using transformers, are not great at reasoning (counting, arithmetic, symbolic reasoning)














  • A taste of things to come as climate change gets more insane

    PODGORICA, June 21 (Reuters) - A major power outage hit Montenegro, Bosnia, Albania and most of Croatia’s coast on Friday, disrupting businesses, shutting down traffic lights and leaving people sweltering without air conditioning in the middle of a heatwave.
    Montenegro’s energy minister said the shutdown was caused by a sudden increase in power consumption brought on by high temperatures, and by the heat itself overloading systems. Power distribution is linked across the Balkans for transfers and trading.
    “This was just waiting to happen in this heat,” Gentiana, a 24-year-old student in Montenegro’s capital Podgorica, told Reuters. Temperatures hit 40 degrees Celsius (104 degrees Fahrenheit) across the southeastern European region.
    Electricity and wifi networks went down from around 1 p.m. (1100 GMT), officials and social media users said. Suppliers in the four countries said they started restoring supply by mid-afternoon and power was largely back by the evening.
    At the start of the blackout, traffic light failures caused gridlock in Bosnia’s capital Sarajevo and the cities of Banja Luka and Mostar, Reuters reporters said.
    Many lost water in Podgorica as pumps stopped working, locals reported. Air conditioners shut down and ice cream melted in tourist shops. Cars also ground to a halt in the Croatian coastal city of Split, state TV HRT reported. Ambulance sirens rang out across the city, it added.
    “The failure occurred as a result of a heavy load on the network, a sudden increase in power consumption due to high temperature and the high temperatures themselves,” Montenegro’s energy minister, Sasa Mujovic, said in a TV broadcast.

    https://archive.is/Q1THa#selection-1323.46-1344.1